Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (4)Реферативна база даних (23)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Лавріщева К$<.>)
Загальна кількість знайдених документів : 10
Представлено документи з 1 до 10
1.

Лавріщева К. 
Перспективні дисципліни програмної інженерії [Електронний ресурс] / К. Лавріщева // Вісник Національної академії наук України. - 2008. - № 9. - С. 12-17. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2008_9_4
Подано класифікацію майбутніх дисциплін програмної інженерії (Software Engineering - SE). Визначено структуру, зміст, базові поняття та призначення кожної з них, а також їх роль у навчанні спеціальності в індустріальному виробництві програмних продуктів. Запропоновано ввести ці перспективні дисципліни в програму навчання Curricula-2010.
Попередній перегляд:   Завантажити - 118.424 Kb    Зміст випуску    Реферативна БД     Цитування
2.

Андон П. 
Розвиток фабрик програм в інформаційному світі [Електронний ресурс] / П. Андон, К. Лавріщева // Вісник Національної академії наук України. - 2010. - № 10. - С. 15-41. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2010_10_4
У 1975 р. академік Глушков запропонував концепцію конвеєрного способу виробництва програмних продуктів (ПП) з готових програм. Проаналізовано розвиток цієї концепції на прикладі попередніх і сучасних фабрик програм; засвідчено появу двох основних понять виробництва: інтерфейс як стиковочний елемент із передачі і трансформації програм, що збираються, та інтегроване середовище збірки готових різнорідних програм із деяких мов програмування. Упродовж останніх 35 років вони постійно вдосконалювались і стали базисом сучасної фабрики програм, наприклад, в інфраструктурі європейського проекту Grid, призначеного для обчислювання наукових завдань. Оприлюднено результати наукових досліджень Інституту програмних систем НАН України, надано визначення фабрики програм за збіркою ПП із різнорідних і різноплатформених програм з використанням людських, технологічних та інструментальних ресурсів. Інститут планує упроваджувати ці результати в систему Grid і в інститутах НАН України. В межах системи будуть розроблені нові засоби інтерфейсу різнорідних програм із перетворення стандартних ISO/IEC 11404-2007 типів даних до тих, що є в багатьох мовах програмування, процедури генерації яких збагатять майбутні гетерогенні середовища сучасними засобами збірки програм.
Попередній перегляд:   Завантажити - 854.368 Kb    Зміст випуску    Реферативна БД     Цитування
3.

Лавріщева К. М. 
Інструментально-технологічний комплекс для розробки й навчання прийомам виробництва програмних систем [Електронний ресурс] / К. М. Лавріщева // Вісник Національної академії наук України. - 2012. - № 3. - С. 67-79. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2012_3_7
Попередній перегляд:   Завантажити - 330.064 Kb    Зміст випуску     Цитування
4.

Лавріщева К. М. 
Концептуальні моделі розподілених компонентних систем [Електронний ресурс] / К. М. Лавріщева, А. Л. Колесник // Проблеми програмування. - 2013. - № 2. - С. 13-22. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2013_2_4
Запропоновано формальні моделі програмних систем (ПС) та їх сімейств (СПС) для їх використання у розподіленому середовищі. Їх проектування починається з об'єктної моделі предметної області і закінчується побудовою відповідних компонентних моделей. Основу ПС і СПС складають моделі інтероперабельності та варіабельності, які визначають принцип функціонування систем між собою. Зв'язуючою ланкою між ПС і СПС є інтерфейс, який передає дані між системами і середовищами для виконання і формування нових варіантів програмного продукту. Значна частина описаних моделей і операцій їх реалізацій уявлена на сайті інструментально-технологічного комплексу ІТК ІПС НАНУ.
Попередній перегляд:   Завантажити - 508.833 Kb    Зміст випуску    Реферативна БД     Цитування
5.

Лавріщева К. М. 
Розвиток ідей академіка В.М. Глушкова з питань технології програмування [Електронний ресурс] / К. М. Лавріщева // Вісник Національної академії наук України. - 2013. - № 9. - С. 66-83. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2013_9_5
Попередній перегляд:   Завантажити - 439.26 Kb    Зміст випуску     Цитування
6.

Лавріщева К. М. 
Базові основи індустрії програм,обчислень і даних [Електронний ресурс] / К. М. Лавріщева // Проблеми програмування. - 2012. - № 2-3. - С. 50-62. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_2-3_8
Попередній перегляд:   Завантажити - 967.354 Kb    Зміст випуску     Цитування
7.

Лавріщева К. М. 
Компонентне програмування. Теорія і реалізація [Електронний ресурс] / К. М. Лавріщева // Проблеми програмування. - 2012. - № 4. - С. 3-18. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_4_3
Компонентне програмування (КП) є різновидом збирального програмування, де роль елементів зборки відіграє програмний компонент чи компонент повторного використання (КПВ, reuse) й інтерфейс. Для програмування КПВ розроблено теорію моделювання предметної області за об'єктами, подання їх функцій компонентами й інтерфейсами з формальними анотаціями для їх збереження в бібліотеках, необхідних різним програмним системам. Математичний апарат КП - це моделі, методи, алгебра об'єднання і змінювання КПВ, алгебричні системи перебудови типів даних КПВ та моделі варіабельності і взаємодії СПС. Теоретичні аспекти КП автоматизовані на веб-сайті інструментально-технологічного комплексу (http://sestudy.edu-ua.net).
Попередній перегляд:   Завантажити - 471.51 Kb    Зміст випуску    Реферативна БД     Цитування
8.

Лавріщева К. М. 
Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів [Електронний ресурс] / К. М. Лавріщева, О. О. Слабоспицька // Проблеми програмування. - 2013. - № 4. - С. 14-24. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2013_4_3
Попередній перегляд:   Завантажити - 610.89 Kb    Зміст випуску     Цитування
9.

Лавріщева К. М. 
Формалізми об’єктного проектування і тестування розподілених програмних систем [Електронний ресурс] / К. М. Лавріщева, А. Ю. Стеняшин // Проблеми програмування. - 2013. - № 4. - С. 25-34. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2013_4_4
Попередній перегляд:   Завантажити - 578.209 Kb    Зміст випуску     Цитування
10.

Лавріщева К. М. 
Технології комп'ютерів, систем і програм від академіка Глушкова [Електронний ресурс] / К. М. Лавріщева // Інженерія програмного забезпечення. - 2013. - № 2. - С. 7-17. - Режим доступу: http://nbuv.gov.ua/UJRN/Ipz_2013_2_4
Попередній перегляд:   Завантажити - 632.575 Kb    Зміст випуску     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського